王浩 (數學家)

關於與「王浩 (數學家)」標題相近或相同的條目，請見「王浩」。

王浩（1921年5月20日—1995年5月13日），美籍華裔哲學家、數理邏輯學家。

王浩
出生	(1921-05-20)1921年5月20日  中華民國山東省濟南市
逝世	1995年5月13日(1995歲—05—13)（73歲）  美國紐約

王氏磚

生平

1921年出生在中華民國的山東濟南，1943年西南聯合大學數學系畢業，1945年清華大學哲學系畢業，國內期間曾師從著名邏輯學家金岳霖。1948年哈佛大學邏輯學博士畢業，同年成為哈佛的助理教授(Assistant Professor)。^[1]1950年代初，隨保羅·伯奈斯(Paul Bernays)在蘇黎世學習。1956年獲薦為牛津大學Reader in the Philosophy of Mathematics。1959年，王浩在「IBM 704計算機」上用9分鐘計算時間，證明了羅素、阿爾弗雷德·諾思·懷特海所著《數學原理》中數百餘條數理邏輯定理；^[2]因此在1983年於國際人工智能聯合會議榮獲首屆證明自動化獎（the first Milestone Prize for Automated Theorem-Proving）。^[3][4]1961年任命主持哈佛「數理邏輯和應用數學的Gordon McKay（英語：Gordon McKay）教授紀念講座」^[5]。1967年至1991年，領導洛克斐勒大學的邏輯學小組，在那裏他是數理邏輯學教授。

他證明了圖靈機都可轉為一組王氏磚（Wang tile）。

1968年，英國埃德加·科德針對「細胞自動機」提出自己的科德細胞自動機(Codd's cellular automaton)（以王浩的「Wang B-machine（英語：Wang B-machine）」為基礎）論點，以探討「人工生命」議題。

著作

• From Mathematics to Philosophy , Hao Wang, Routledge Kegan & Paul,June 1974 ISBN 978-0-7100-7689-2
• A Logical Journey: From Gödel to Philosophy, Hao Wang, The MIT Press, 1997 ISBN 978-0-262-23189-3。

參考文獻

1. 《俞大維傳》. 作者：李元平; 出版社：臺灣日報社; 出版日：1992年01月05日，392 頁; （繁體中文），01 （頁面存檔備份，存於互聯網檔案館），02 （頁面存檔備份，存於互聯網檔案館），增訂版 互聯網檔案館的存檔，存檔日期2014-02-21.
2. Wang, Hao. Toward Mechanical Mathematics 4. 1960: 2–22. doi:10.1147/rd.41.0002. |journal=被忽略 (幫助); |number=被忽略 (幫助)
3. Loveland, Donald W.; Bledsoe, W. W. Automated theorem proving: after 25 years. Providence, Rhode Island: American Mathematical Society. 1984. ISBN 0-8218-5027-X., page 47
4. 吳文俊《數學機械化》iii頁、40頁，科學出版社，ISBN 7-03-010765，實例「數學機械化自動推理平台」
5. 存档副本. [2014-04-11]. （原始內容存檔於2014-04-13）.